More from this Author

Tools and Algorithms for the Construction and Analysis of Systems

by Joost-Pieter Katoen (Editor), Perdita Stevens (Editor)

Bidirectional Transformations

by Jeremy Gibbons (Editor), Perdita Stevens (Editor)

Fundamental Approaches to Software Engineering

by Perdita Stevens (Editor), Andrzej W&#261, sowski (Editor)